Theorem Proving in Higher Order...
Paperback
Published 21 Aug 2003
Save $2.04
- RRP $61.51
- $59.47
Search for "Wolff Burkhart Wolff"
6 results
-
$2.04off
-
$7.86off
Tests and Proofs
Paperback
Published 22 Jun 2011Save $7.86
- RRP $61.51
- $53.65
-
Theorem Proving in Higher Order...
Paperback
Published 12 Mar 2014- $59.39
-
$30.90off
Testing Software and Systems
Paperback
Published 21 Oct 2011Save $30.90
- RRP $86.12
- $55.22
-
$6.50off
Unifying Theories of Programming
Paperback
Published 04 Jan 2013Save $6.50
- RRP $57.41
- $50.91
-
Calculus of Transformations
Paperback
Published 01 Jan 1999